GitPlanet

Cheap and reliable Node.js hosting starts at $3/month, and $1/month static HTML hosting

Created with love in Canada, visit hostnodejs.com today

Feel like to post an Ad? Learn Details
All Projects → bor0 → gidti

bor0 / gidti

Licence: other
Book: Gentle Introduction to Dependent Types with Idris

Labels

bookslambda-calculustheorem-provingtype-theory

Projects that are alternatives of or similar to gidti

Type-Theory
Lecture note on Lambda Calculus and Types for FLOLAC
Stars: ✭ 26 (-62.86%)
Mutual labels:  lambda-calculus, type-theory
Lean
Homepage Theorem Proving in Lean FAQ
Stars: ✭ 2,006 (+2765.71%)
Mutual labels:  theorem-proving, type-theory
Write You A Haskell
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
Stars: ✭ 3,064 (+4277.14%)
Mutual labels:  lambda-calculus, type-theory
pomagma
An inference engine for extensional untyped λ-calculus
Stars: ✭ 15 (-78.57%)
Mutual labels:  lambda-calculus, theorem-proving
types-and-programming-languages
Exercises from Benjamin Pierce's "Types and Programming Languages" textbook + extras!
Stars: ✭ 92 (+31.43%)
Mutual labels:  lambda-calculus, type-theory
lplzoo
Fine-grain implementations of common lambda calculi in Haskell, tested with QuickCheck
Stars: ✭ 32 (-54.29%)
Mutual labels:  lambda-calculus, type-theory
Kind
A modern proof language
Stars: ✭ 2,075 (+2864.29%)
Mutual labels:  lambda-calculus, type-theory
pyprover
Resolution theorem proving for predicate logic in pure Python.
Stars: ✭ 71 (+1.43%)
Mutual labels:  theorem-proving
BOHM1.1
Bologna Optimal Higher-Order Machine, Version 1.1
Stars: ✭ 45 (-35.71%)
Mutual labels:  lambda-calculus
Free Programming Books
📚 Freely available programming books
Stars: ✭ 216,030 (+308514.29%)
Mutual labels:  books
Cs Books
📚 Computer Science Books 计算机技术类书籍 PDF
Stars: ✭ 2,915 (+4064.29%)
Mutual labels:  books
unpaprd
An audiobook 🎧 📔 app made using Flutter
Stars: ✭ 73 (+4.29%)
Mutual labels:  books
js-church-encoding
Church Encoding Implementation in JavaScript
Stars: ✭ 33 (-52.86%)
Mutual labels:  lambda-calculus
book-library
📚 A book library app for both Android & IOS ~ Flutter.dev project in Dart
Stars: ✭ 89 (+27.14%)
Mutual labels:  books
awesome-reading
Notes from some books that I've read.
Stars: ✭ 43 (-38.57%)
Mutual labels:  books
Free Programming Books Zh cn
📚 免费的计算机编程类中文书籍，欢迎投稿
Stars: ✭ 85,491 (+122030%)
Mutual labels:  books
bookwyrm
Social reading and reviewing, decentralized with ActivityPub
Stars: ✭ 1,499 (+2041.43%)
Mutual labels:  books
lambda-zero
A minimalist pure lazy functional programming language
Stars: ✭ 65 (-7.14%)
Mutual labels:  lambda-calculus
StepULC
Efficient and single-steppable ULC evaluation algorithm
Stars: ✭ 15 (-78.57%)
Mutual labels:  lambda-calculus
bookmarker
A personal project to help me retain information from books
Stars: ✭ 63 (-10%)
Mutual labels:  books
View All Similar Projects ➔

Introduction to Dependent Types with Idris

Welcome to the Git repository of my first self-published book (later re-published with Apress). You can access the book homepage at https://leanpub.com/gidti.

Feel free to make contributions to it by either filing an issue or a pull request. As a contributor, you can e-mail me if you want to be included in the book.

The book is dedicated to my wife Dijana, and our kids.

ISBN: 978-1484292587

Note that the project description data, including the texts, logos, images, and/or trademarks, for each open source project belongs to its rightful owner. If you wish to add or remove any projects, please contact us at [email protected].