anoma/geb

A Categorical View of Computation

IdrisCommon LispAgdalispcommon-lispcategory-theorycategoryidris2
This is stars and forks stats for /anoma/geb repository. As of 28 Mar, 2024 this repository has 22 stars and 8 forks.

The GEB Manual Table of Contents 1 Links 1.1 code coverage 2 Getting Started 2.1 installation 2.2 loading 2.3 Geb as a binary 3 Glossary 4 Original Efforts 4.1 Geb's Idris Code 4.2 Geb's Agda Code 5 Categorical Model 5.1 Morphisms 5.2 Objects 5.3 The Yoneda Lemma 5.4 Poly in Sets 6 Project Idioms and Conventions 6.1 Spec Files, Main Files and Project Layout 6.2 Open Types versus Closed Types 6.3 ≺Types≻ 7 The Geb Model 7.1 The Categorical Interface 7.2 Geneircs 7.3 Core Category 7.3.1 Subst Obj 7.3.2...
Read on GithubGithub Stats Page
repotechsstarsweeklyforksweekly
Nyoho/chitanda.elEmacs Lisp1020
magit/closqlEmacs LispMakefile33040
deepin-community/cl-babelCommon LispShell0000
deepin-community/cl-regexCommon LispC0000
deepin-community/cl-alexandriaCommon Lisp0000
deepin-community/cffiCommon LispCOther2000
deepin-community/clispCommon LispCD0020
deepin-community/emacsEmacs LispRoffC0010
deepin-community/devscripts-elEmacs Lisp0000
deepin-community/auctexEmacs LispRoffTeX0000