Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for calculus idris
calculus
x
idris
x
6 search results found
Sequent Calc Talk
⭐
29
Code for the "Logic, machines and sequent calculus" talk
Code
⭐
29
Proof theory seminar
Sequent Calc
⭐
21
Experiments with sequent calculi
Modal Types
⭐
13
Experiments with modal types
Ttstar
⭐
12
Dependently typed core calculus with erasure
Exp Subs
⭐
6
Explicit substitution calculi
Related Searches
Lambda Functions Calculus (381)
Haskell Calculus (190)
Python Calculus (176)
Mathematics Calculus (170)
Reduction Calculus (51)
Types Idris (46)
Idris Dependent Types (36)
Haskell Idris (31)
Language Idris (16)
Idris Idris2 (15)
1-6 of 6 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.