Skip to content
View brunoflores's full-sized avatar
📚
📚
  • Brisbane, Australia, QLD

Block or report brunoflores

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
brunoflores/README.md

'What really is the point of trying to teach anything to anybody?'

This question seemed to provoke a murmur of sympathetic approval from up and down the table.

'What I mean is that if you really want to understand something, the best way is to try and explain it to someone else. That forces you to sort it out in your own mind. [...] And that's really the essence of programming. By the time you've sorted out a complicated idea into little steps that even a stupid machine can deal with, you've certainly learned something about it yourself. The teacher usually learns more than the pupil. Isn't that true?'

Douglas Adams

Pinned Loading

  1. torbreck-lang torbreck-lang Public

    This small language is named after the Torbreck, "the first high-rise and mix-use residential development in Queensland, Australia".

    OCaml

  2. Modern-Compiler-Implementation-in-ML-book Modern-Compiler-Implementation-in-ML-book Public

    My OCaml implementation of the Tiger language.

    OCaml 2 1

  3. logical-foundations logical-foundations Public

    Logical Foundations :: https://softwarefoundations.cis.upenn.edu/lf-current/index.html

    Coq 2

  4. pierce-fullpoly pierce-fullpoly Public

    The fullpoly implementation from Benjamin C. Pierce's book Types and Programming Languages.

    OCaml

  5. type-driven-with-idris type-driven-with-idris Public

    Type Driven Development with Idris

    Idris

  6. cpdt cpdt Public

    Certified Programming with Dependent Types

    Coq