RobertKirk/Graph-Comonads-from-Pebble-Games RobertKirk/Graph-Comonads-from-Pebble-Games

  • Stars
    star
    1
  • Language Idris
  • Created over 6 years ago
  • Updated over 6 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
RobertKirk/Graph-Comonads-from-Pebble-Games
github

RobertKirk

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Master Thesis code: Implementing Game Comonads in Finite Model Theory using Dependent Types in Idris

More Repositories

1

roam-tools

A small but growing collection of tools for Roam Research
Python
4
star
2

roam-solarized-theme

A strict solarized Roam Research theme
CSS
2
star
3

dotfiles

A collection of personal scripts, aliases and the like from my personal software engineering practice
Vim Script
2
star
4

tmux-ram

Plug and play RAM percentage and icon indicator for Tmux
Shell
1
star