G. Allais

icon indicating a website link http://gallais.github.io

icon location Glasgow, Scotland

Results 13 repositories owned by G. Allais

type-scope-semantics

21
Stars
1
Forks
Watchers

A self-contained repository for the paper Type and Scope Preserving Semantics

verified publisher icon gallais

typing-with-leftovers

28
Stars
3
Forks
Watchers

Self-contained repository for the eponymous paper

verified publisher icon gallais

agdarky

15
Stars
0
Forks
Watchers

Agda suffices: software written from A to Z in Agda

verified publisher icon gallais