view wisdom/d-module @ 2856:6b874dcc57d6

<fizzie> gcc hello.c -o hello2 -nodefaultlibs -Os -s -Wl,--entry,main && ./hello3; wc -c hello3
author HackBot
date Sun, 05 May 2013 15:52:04 +0000
parents 83d8a5395ada
children c777e2d91031
line wrap: on
line source

D-modules are just modules over the ring of differential operators. Taneb invented them.