Skip to content

Instantly share code, notes, and snippets.

Avatar

Priyatam Mudi priyatam

View GitHub Profile
@priyatam
priyatam / inference.rkt
Created May 24, 2017 — forked from jrslepak/inference.rkt
Type inference in Typed Racket
View inference.rkt
#lang typed/racket
;;; Typed Racket version of Martin Grabmü̈ller's "Algorithm W Step by Step"
;;; http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.65.7733
;;; This is my first use of Typed Racket. I am looking to change this from
;;; following Haskell idiom to following Racket idiom.
;; An expression is a variable, a literal, an application,
@priyatam
priyatam / machine.clj
Created Nov 20, 2015 — forked from zahardzhan/machine.clj
Turing machine in Clojure
View machine.clj
;;; -*- mode: clojure; coding: utf-8 -*-
;;; author: Roman Zaharov <zahardzhan@gmail.com>
(ns clojure.turing-machine.machine)
(in-ns 'clojure.turing-machine.machine)
(defn convert-rules [rules]
(apply conj [] (for [rule rules :let [[state read jump write move] rule]]
{:state state :read read :jump jump :write write :move move})))
View gist:9649695
;; Schema
;; poem
[{:db/id #db/id[:db.part/db]
:db/ident :poem/short-url
:db/unique :db.unique/identity
:db/valueType :db.type/string
:db/cardinality :db.cardinality/one
:db.install/_attribute :db.part/db}
{:db/id #db/id[:db.part/db]
You can’t perform that action at this time.