Wojciech Karpiel
WojciechKarpiel
- Kraków
- https://www.wojciechkarpiel.pl/
- Присоединился Jul 30, 2018
- 0 Подписчики - 0 Подписан
Обновлено 1 год назад
Обновлено 2 лет назад
Dowód, że każdy skończony ciąg liczb wymiernych da się zakodować jedną liczbą naturalną
Обновлено 2 лет назад
Rozwiązanie i dowód formalny poprawności rozwiązania zagadki o więźniach
Обновлено 3 лет назад
https://www.cs.cornell.edu/courses/cs3110/2011sp/Lectures/lec26-type-inference/type-inference.htm w Hakelu, dla zabawy
Обновлено 4 лет назад
Bawię się Ocamlem. Na razie parsowanie s-wyrażeń z miejscami w kodzie źródłowym i wsparciem na utf8 bez zewnętrznych bibliotek, może jak nie zapomnę o tym to jakąś teoryjkę typów sieknę, na razie idę spać dobranoc
Обновлено 5 лет назад
Praca magisterska "Konstruktywne podejście do algebry na przykładzie teorii ciał w programowaniu funkcyjnym z typami zależnymi"
Обновлено 5 лет назад
http://www.cs.cornell.edu/courses/cs3110/2011sp/Lectures/lec26-type-inference/type-inference.htm w Ruście dla zabawy
Обновлено 5 лет назад