GitHub topics: inductive-types

Inductive types

Language: Agda - Size: 14.6 KB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0

Simple CoC-based programming language

Language: Haskell - Size: 29.3 KB - Last synced at: over 2 years ago - Pushed at: almost 8 years ago - Stars: 8 - Forks: 2

Code and slides for my talk presented at the seminar.

Language: TeX - Size: 2.76 MB - Last synced at: over 2 years ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 2

An implementation of natural numbers and basic arithmetic in Haskell

Language: Haskell - Size: 25.4 KB - Last synced at: over 2 years ago - Pushed at: almost 8 years ago - Stars: 0 - Forks: 0

Code and examples based on the tutorial 'A Tutorial on [Co-]Inductive Types in Coq' by Eduardo Giménez and Pierre Castéran

Language: Coq - Size: 10.7 KB - Last synced at: 12 months ago - Pushed at: about 8 years ago - Stars: 0 - Forks: 0

Related Keywords

ecosyste.ms