mtrsk/PropositionsAsTypes mtrsk/PropositionsAsTypes

  • Stars
    star
    2
  • Language
    TeX
  • License
    MIT License
  • Created over 6 years ago
  • Updated over 6 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
mtrsk/PropositionsAsTypes
github

mtrsk

Reviews

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

Repository Details

Palestra para o Grupo de Estudos em Lógica e Filosofia Formal da UFMA (GELF), baseado no artigo "Propositions as Types" de Philip Wadler.

More Repositories

1

nixos-config

🛠️ My NixOS configuration & dotfiles dumpster fire 🔥
Nix
17
star
2

Minicurso-Linux

(WIP) Minicurso de Linux/Unix, Shell Script e Vim (JIM - 2018)
Nix
7
star
3

mtrsk.github.io

My new blog, built with Org, Elisp, Emacs, Nix, Just & Github Actions
Nix
4
star
4

Criptografia-com-SAGE-2017

Códigos da Palestra sobre Introdução à Criptografia com Curvas Elípticas em SAGE para a XI Semana de Matemática UFMA 2017
Jupyter Notebook
3
star
5

interval.fs

An implementation of Allen's Interval Algebra, for .Net
F#
2
star
6

exercism-shell

A nix-based environment to solve exercism in multiple languages
Nix
2
star
7

Proof-Plaza

Some experiments with the 'Coq Proof Assistant'. Includes notes about the Software Foundations series.
Coq
1
star
8

no-bs

A NodeJS REST API, with no (bs) frameworks
JavaScript
1
star
9

Internet-Magic-Money

(Unfinished) An analysis of the Close Price of some criptocurrencies using Pandas and Quandl's Bitcoin API.
Jupyter Notebook
1
star
10

RegexPlay

Readings from "A Play on Regular Expressions", 2010
Haskell
1
star
11

duino

Playing with arduino in C++ (and maybe Rust?), platform.io and also Nix.
C++
1
star
12

emacs-latex-org-nix

A template project with an environment for LaTeX + Nix + Org-mode
Nix
1
star